coordinate axiom

un. 坐标公理